Embedded Execution Environment for Modular Firmware Structures
نویسندگان
چکیده
The rising pressure of competition forces the industry to more flexible production. The ability of effective lot-size one and small batch production is becoming an important requisite for success on the todays competitive markets. However, classical manufacturing plants are not suited for the new requirements of todays markets. Decentralized systems helped to save money for cabling of the automation devices, but changed nothing on the monolithic structure of classic industrial process and measurement systems. Such structures are not suited for fast reconfigurability. The emerging standard IEC 61499 – Function blocks introduces a distributed execution model, suited for fast reconfigurability. Unfortunately it is not widely used, as there are few automation devices that support IEC 61499 natively. Although there are runtime environments for IEC 61499, none of them is suited for use in cheap smart sensors and actuators, as memory size and computing power are too low on such devices. But direct integration of smart sensors and actuators would vastly improve and simplify the possibilities of designing and handling distributed control systems for e.g., manufacturing plants or building automation systems. This diploma thesis targets this problem, by developing an embedded execution environment for modular firmware structures with direct integration in IEC 61499 networks suitable for embedded systems with limited memory. First the requirements of a firmware execution environment will be identified by an use case analysis of the programming phase and the operational phase of a typical automation device. Based on the findings of the use case analysis the requirements for the execution environment are identified, which are the base for a first conceptual design for such an execution environment. The findings of the conceptual design are then used to modify the existing IEC 61499 runtime environment FORTE. The modification decreased the code size of FORTE for about 56% to 172076 bytes. Therefore it is now possible to run FORTE on cheap micro controllers, with limited ROM and RAM, commonly used in smart sensors and smart actuators. Thereby the granularity of a distributed system can be further reduced and therefore the available computing power can be better utilized, and the reuse and modularity of system parts can be increased.
منابع مشابه
AmbiComp: A platform for distributed execution of Java programs on embedded systems by offering a single system image
Ambient Intelligence pursues the vision that small networked computers will jointly perform tasks that create the illusion of an intelligent environment. One of the most pressing challenges in this context is the question how one could easily develop software for such highly complex, but resource-scarce systems. In this paper we present a snapshot of our ongoing work towards facilitating softwa...
متن کاملFIE on Firmware: Finding Vulnerabilities in Embedded Systems Using Symbolic Execution
Embedded systems increasingly use software-driven low-power microprocessors for security-critical settings, surfacing a need for tools that can audit the security of the software (often called firmware) running on such devices. Despite the fact that firmware programs are often written in C, existing source-code analysis tools do not work well for this setting because of the specific architectur...
متن کاملSecure Execution Architecture based on PUF-driven Instruction Level Code Encryption
A persistent problem with program execution, despite numerous mitigation attempts, is its inherent vulnerability to the injection of malicious code. Equally unsolved is the susceptibility of firmware to reverse engineering, which undermines the manufacturer’s code confidentiality. We propose an approach that solves both kinds of security problems employing instruction-level code encryption comb...
متن کاملA Safety-critical Medical Device Development using the UPP2SF Model Translation Tool
Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 lines of code which are responsible for maintaining the heart within safe operating limits. As firmware-related recalls accounted for over 41% of the 600,000 devices recal...
متن کاملSafety-Critical Medical Device Development Using the UPP2SF Model
Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 lines of code which are responsible for maintaining the heart within safe operating limits. As firmware-related recalls accounted for over 41% of the 600,000 devices recal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009